W. Buchholz; "Mathematische Logik II"